RuMoR: Monitoring and Recovery of BPEL Applications

Web service applications are distributed processes that are composed of dynamically bounded services. Since the overall system may only be available at runtime, static analysis is difficult to perform in this setting. Instead, these systems are many times checked dynamically, by monitoring their behavior during runtime. Our tool performs monitoring of web service applications, and, when violations are discovered, we automatically propose and rank recovery plans which users can then select for execution. Properties, specified using property patterns, are transformed into finitestate automata. Finite execution traces of web services described in BPEL are checked for conformance at runtime. For some property violations, recovery plans essentially involve“going back”– compensating the executed actions until an alternative behaviour of the application is possible. For other violations, recovery plans include both “going back” and “re-planning” – guiding the application towards a desired behaviour. These plans are generated using techniques adapted from AI planning. MC: Do not like the last sentence. Maybe: just remove “AI”?